$\forall$$a$, $b$:$\mathbb{Q}$. $a$ $\leq$ $b$ $\Rightarrow$ $b$ $\leq$ $a$ $\Rightarrow$ ($a$ = $b$)